Formalizing Metabolic-Regulatory Networks by Hybrid Automata
نویسندگان
چکیده
منابع مشابه
Constructively formalizing automata theory
We present a constructive formalization of the Myhill-Nerode theorem on the minimization of nite automata that follows the account in Hopcroft and Ullman's book Formal Languages and Their Relation to Automata. We chose to formalize this theorem because it illustrates many points critical to formalization of computational mathematics, especially the extraction of an important algorithm from a pr...
متن کاملFormalizing Statecharts using Hierarchical Automata
We formalize in Isabelle/HOL the abtract syntax and a synchronous step semantics for the specification language Statecharts [HN96]. The formalization is based on Hierarchical Automata [MLS97] which allow a structural decomposition of Statecharts into Sequential Automata. To support the composition of Statecharts, we introduce calculating operators to construct a Hierarchical Automaton in a step...
متن کاملFormalizing Automata II Decidable Properties
Is it possible to create formal proofs of interesting mathematical theorems which are me chanically checked in every detail and yet are readable and even faithful to the best expositions of those results in the literature This paper answers that question positively for theorems about decidable properties of nite automata The exposition is from Hopcroft and Ullman s classic textbook Formal Langu...
متن کاملAnonymized Reachability of Hybrid Automata Networks
In this paper, we present a method for computing the set of reachable states for networks consisting of the parallel composition of a finite number of the same hybrid automaton template with rectangular dynamics. The method utilizes a symmetric representation of the set of reachable states (modulo the automata indices) that we call anonymized states, which makes it scalable. Rather than explici...
متن کاملTopological analysis of metabolic and regulatory networks by decomposition methods
unsere Resultate. Anhand der T-Zell-Antigen-Rezeptor-Signalkaskade zeigen wir, wie die Methoden in realen Systemen angewendet werden können. Summary The living organisms are too complex when considering them as a whole. The present thesis deals with the topological properties of two important parts of living organisms: the metabolic and the regulatory systems. The topological properties are tho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Biotheoretica
سال: 2019
ISSN: 0001-5342,1572-8358
DOI: 10.1007/s10441-019-09354-y